Vaughan Pratt - PDFSEARCH.IO - Document Search Engine

Vaughan Pratt
Results: 47

#	Item
41	Structure from sorts, properties, and composition A minimalist approach to topoalgebraic structure Vaughan Pratt Stanford University July 23, 2011 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2011-12-10 14:52:25 Category theory Chu space Topology Sheaf Category Functor Adjoint functors Graph Structure Mathematics Abstract algebra Algebra
42	A homogeneous algebraic definition of Euclidean space Vaughan Pratt Computer Science Department Stanford University BLAST 2013 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2013-08-06 13:15:54 Linear algebra Space Euclidean geometry Norm Point Euclidean space Homogeneous coordinates Algebraic geometry Mathematics Geometry Algebra
43	GC23C-1085: Multidecadal Climate to Within a Millikelvin Vaughan R. Pratt, Stanford University, [removed], http://clim.stanford.edu FIRST RESULT Global warming is clearly Add to Reading List Source URL: clim.stanford.edu Language: English - Date: 2012-12-02 19:17:06 Climate history Global warming AGW Climate sensitivity Radiative forcing IPCC Fourth Assessment Report Atmospheric sciences Climatology Climate change
44	Weiner’s Repetition Finder (with simplifications suggested by the referee) Vaughan Pratt Computer Science Department Stanford University Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2013-06-18 00:55:15 Algorithm Pratt Swat Administrative units of Pakistan Swat District Vaughan Pratt
45	Reconciling multidecadal land-sea global temperature with rising CO2 Vaughan Pratt Stanford University Add to Reading List Source URL: clim.stanford.edu Language: English - Date: 2013-12-12 17:53:03 Mechanical engineering Transport phenomena Engineering Chemical engineering Heat conduction Heat transfer
46	Euclidean and non-Euclidean algebra Vaughan Pratt Stanford University February 14, 2011 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2012-04-21 20:23:53 Nonassociative algebra Algebraic structures Group theory Outline of algebraic structures Abstract algebra Non-Euclidean geometry Algebra
47	Rational Mechanics and Natural Mathematics Vaughan Pratt∗ Dept. of Computer Science, Stanford University, Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:58 Topology General topology Mathematical structures Category theory Chu space Continuous function Duality Dualism Vector space Mathematics Algebra Linear algebra

UPDATE